Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
Lire la suite
Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
Lire la suite
Intelligent Tutoring Systems
This book constitutes the refereed proceedings of the 8th International Conference on Intelligent Tutoring Systems, ITS 2006, ...
Lire la suite
Logical Aspects of Computational Linguistics
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...
Lire la suite
Reasoning Web (vol. # 4126)
This book presents thoroughly arranged tutorial papers corresponding to lectures given by leading researchers at the Second ...
Lire la suite
Spatial Information Theory
This book constitutes the refereed proceedings of the 8th International Conference on Spatial Information Theory, COSIT 2007, ...
Lire la suite
